Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
141	Presentation Plan →History and origins of parallel models for Eas →Design Issues of a Parallel Model →Canonical parallel models → Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-06-21 16:40:25 Mathematics Search algorithms Numerical analysis Theoretical computer science Genetic algorithm Evolutionary algorithm Parallel computing Distributed computing Evolutionary computation Cybernetics Mathematical optimization Applied mathematics
142	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
143	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
144	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory
145	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
146	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
147	Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email: Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:04 Systems theory Knowledge Signal processing Automata theory Models of computation Discrete mathematics Discrete system Model checking Signal Science Cybernetics Applied mathematics
148	Microsoft PowerPoint - DSCpetcu Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2007-07-09 07:38:37 Parallel computing Algorithm Distributed computing Symbolic computation Computational geometry Computational resource Actor model Memory bound function Outline of computer science Theoretical computer science Applied mathematics Mathematics
149	ISSUES IN THE CONVERGENCE OF CONTROL WITH COMMUNICATION AND COMPUTATION BY SCOTT R. GRAHAM B.S., Brigham Young University, 1993 Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2013-08-14 12:38:09 Network Time Protocol Model predictive control Internet Network architecture Computing Control engineering Control theory Networked control system
150	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory

UPDATE